simplify (x 7)